Buy Used and New Helmut Veith Books

Computer Aided Verification: 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings: 8044 (Lecture Notes in Computer Science)

by Natasha Sharygina,Helmut Veith

ISBN 13: 9783642397981

Format: Paperback (1040 pages)
Publisher: Springer
Published: 14 Jul 2013

Save for later